quantifiers logical equivalence